Preconditions for model transformations added