let print_state env fmt st = SAtom.print fmt (state_to_cube env st)