Add suchthat command
Ignore .fls files
Reflexivity, transitivity, equivalence classes