Utility function to help writing tests; it creates a mapping between the receiver goal struct and the list of given solutions