Inserts the given clause before all other clauses of its own family (same directive-vs-rule status, functor and arity) currently stored in this tree, mutating it in place.
if this is not orderedisOrdered