-
dgelessus authored
This doesn't affect predicates passed to :exec/:constants/:init yet, because ProB 2's StateSpace.transitionFromPredicate method currently only accepts a string predicate (which is parsed using the model's languate) and not an arbitrary IEvalElement.
6b8d6bb6