Can now call multiple time isHeadNode, node specialization is now working, we can now choose which method we will use to resolve the unification (see ProloGraalIsHeadNode.java)
Added ProloGraalTerm.isBoundVariable() method, permitting to know if a term is a bound variable (previously term.isVar() would be true only if term is an unbound var)