IF ('PRODUCTION_RULE_ARM.ABSTRACT_VARIABLE' IN  TYPEOF(x)) THEN  RETURN  (TRUE);
      ELSE  IF (('PRODUCTION_RULE_ARM.FUNC' IN TYPEOF(X)) AND
              (SIZEOF(QUERY(y <* x.terms | contains_variable(y))) > 0)) 
              THEN RETURN  (TRUE);
              ELSE RETURN (FALSE);
           END_IF;
  END_IF;