let print_last env = match env.states with | st :: _ -> eprintf "--- @[<hov>%a@]@." SAtom.print (state_to_cube env st) | _ -> ()