Fixed: Rel needs to negate literal

Also added an earlier check if literals might be unifiable at all.

Also added a unit test Ground(theta)==false --> theta is no model.