The resolution can now deal with disjuncts as not-first arguments. Found the next bug.