adding tests for answer_sets having at least one answer, and correcting other tests and factories to pass the same validation