Don't consider variables that aren't fully OK for BVA
OOps, varData takes LIT.var() not LIT.toInt()
Doing ANDgate-based cl-removal for TRI clauses as well
Cleaning up some of ANDgate-based removal of long clauses
Using TRI clauses when creating new vars for ANDgate-based cl-rem