Static Analysis of Model Transformations for Effective Test Generation