check s "GcsAttr" false true
constructions, properties
-inversions, inversion properties, inversion lemmas
+inversions, inversion properties, inversion lemmas, inversion
destructions, forward properties, forward lemmas
+equalities
eliminations, eliminators
+iterators