Add assertions to transition system