PROBCORE-557 Reverted predicates back to original syntax. We want to keep some of the predicates the same for ProB Plugin and ProB 2.0. The unit plugin kram is one of those cases.