modify t name op = t{terminate = Map.insert name (op $ get name t) (terminate t)}
modify t name op = t{terminate = Map.insert name (op $ get name t) (terminate t)}
modify t name op = t{terminate = Map.insert name (op $ get name t) (terminate t)}