there is a bug of some kind causing non literal terms to be unified. It is not an error in conversion to clausal form however, so it must be in unification or resolution