public class Class1 {

	private Class2 class2;

	public void setClass2(Class2 class2) {
		this.class2 = class2;
		class2.setClass1(this); //<---PROPBLEM
	}
}

abstract rule SuperProp2Field {
	from
		prop : IN!Prop
	to 
		field : OUT!Field (
			
		)
}

--will create fields, even if setter already in class
rule RuleOnlyForGuardAndForFieldCreation extends SuperProp2Field  {
	from
		prop : IN!Prop (prop.upper > 0)
	to 
		 
}

--will create setter, but the fields will be created in RuleOnlyForGaurd 
rule Prop2SpecialSetterForUpperBigger1 extends RuleOnlyForGaurd  {
	from
		prop : IN!Prop (prop.getOwnerClass.allOperations->select(op| op.name = 'getter' + prop.name)->isEmpty())
	to 
		target : OUT!Method (
			name<-'getter' + prop.name
		)
}

thisModule.resolveTemp(prop.opposite, 'target')