moving CountBinders outside top-level binary
appear to have expunged the gross out.smt2
ASDASD