guard_assign/unassign_transition in analysis.py