Cleaned up (and added some more) satisfiability tests from Cyclist. All files start with predicate whose satisfiability is to be checked.