> That seems like a somewhat heavyweight change. Why not change the > definitions of Assign and SideEffect to carry the overflow label? OK.