PROBCORE-551: Add missing preconditions in PRE … THEN. Only select was imported to the internal representation.