Added Ewff::Satisfiable().
Fixed: Rel() needs to check if the clause is boxed or not.
Added Clause::Subsumes().