public static Context getPropertyTestContext() {
    { World constraintpropagationworld = Logic.lookupConstraintPropagationWorld(((Context)(Stella.$CONTEXT$.get())));

      if (constraintpropagationworld == null) {
        return (((Context)(Stella.$CONTEXT$.get())));
      }
      else {
        return (constraintpropagationworld);
      }
    }
  }