Added the class Box_Widened_Symbolic_State