Utility function to help writing tests; it creates a Solution.Halt with receiver query and provided exception