Predicate representations with required data to be executed during VM runtime
Runtime representation of a predicate