Always assert abstract transition