CompiledState with member variables corresponding to term variables