For Variables translation, nested state-machines produce invariants in wrong order.
Fixed in generation rules
Log in to post a comment.
Fixed in generation rules