// if there is a value assignment for the given atom
for(TCGOCLAtom oAtomWithAssignedValue : in_colCurrentValueAssignment.keySet()) {
if(oAtomWithAssignedValue.getElement().equals(oAtom.getElement())) {
// adapt value type range
bResult = bResult &&
oVTR.adaptRange(in_colCurrentValueAssignment.get(oAtomWithAssignedValue).getValue());
bResult = bResult &&
oGlobalVTR.adaptRange(oVTR);
if(!bResult)
return new IndefinableValueTypeRange();
// break ATOM;