lojix/wam_prolog/src/main/com/thesett/aima/logic/fol/wam/compiler/DefaultBuiltIn.java
private boolean isLastBodyTermInArgPositionOnly(Term var, Functor body)
    {
        return body == symbolTable.get(var.getSymbolKey(), SymbolTableKeys.SYMKEY_VAR_LAST_ARG_FUNCTOR);
    }
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.

@param  var  The variable to check.
@param  body The current body functor being processed.

@return <tt>true</tt> iff this is the last body functor that the variable appears in and does so only in argument
position.