Bug fix. Typing invariants of refined states were being generated. Problem fixed