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