private boolean isLastBodyTermInArgPositionOnly ( Term var , Functor body ) { return body == symbolTable . get ( var . getSymbolKey ( ) , SymbolTableKeys . SYMKEY_VAR_LAST_ARG_FUNCTOR ) ; }
Checks if a variable is appearing within the last body functor in which it occurs and only does so within argument position .