}
@Override
public void enterNodeProperty(NodeProperty nodeProp){
consSt.push(currConsCode);
ASTNode rangeNode = nodeProp.getRangeNode();
CodeForCons rangeConsCode = getConsCodeForContainsPropObjs(rangeNode);
CodeForContainsPropsObj codeForProp = new CodeForContainsPropsObj(currNodeVar, currConsCode, nodeProp, rangeConsCode);
handleProperty(nodeProp, codeForProp);
}