simplify ProblemDefinition.__init__() - re-implements #212