Fixed term unification in H2ClauseStore