List<TCGOCLExpression> colTmpExpressionsCopy = new ArrayList<TCGOCLExpression>();
colTmpExpressionsCopy.addAll(in_colExpressions);
for(TCGOCLExpression oExpression : in_colExpressions) {
OCLTreeExpressionFindAtomReferenceVisitor oVisitor =
//new OCLTreeExpressionFindAtomReferenceVisitor(in_oAtom);
new OCLTreeExpressionFindAtomReferenceVisitor(oAtom);
OCLTreeExpressionIterator.run(oExpression, oVisitor);
// oExpression contains oAtom
if(oVisitor.isFound()) {
for(TCGOCLAtom oInterestingAtom : oVisitor.getFoundAtoms()) {
if(oExpression instanceof TCGOCLAtom) {
ValueTypeRange oTmpVTR = OCLExpressionValueTypeRangeFactory.
getValueTypeRangeForRightSideOfExpression(
oInterestingAtom, oExpression);
if(oVTR == null)