This does not compile: need type `(StateVar.t * Term.t list) list` for counterexample