pruned variables, implemented blip in fsm