modify change cell postcondition to handle :FOR in model that is change resistant in RF model..