{
TCGOCLAtom oAtomPostExp = (TCGOCLAtom)oActivePostExpression;
if(TCGOCLExpressionHelperClass.conditionContainsReferenceToObject(
in_oPrecondition, oAtomPostExp.getElement()))
{
oClassificator.shiftSubexpressionToTheLeft(oActivePostExpression);
if(oClassificator.getExpression() instanceof TCGOCLOperation)
{
TCGOCLOperation oOperation =
(TCGOCLOperation)oClassificator.getExpression();
TCGOCLVariableClassificator oRightSubClassificator =