UNSTABLE VERSION; switching machines ... trying to optimize the size of VCs for match expressions
more compact VCs for match expressions using ite in the logic
adding bug34.fst to regression tests