for(TCGOCLAtom oRemainingAtom : colRemainingAtoms) {
// first: expression nach remaining atom umstellen
TCGOCLExpressionHelperClass.shiftSubexpressionToTheLeft(
oRemainingAtom, oExpression);
// second: valuetyperange ermitteln
ValueTypeRange oValueTypeRange = in_oTmpRange.clone();
OCLExpressionValueTypeRangeFactory.
getValueTypeRangeForRightSideOfExpression(
oValueTypeRange, oExpression,
in_colCurrentValueAssignment);
// third: adapt range