Nicer problemDef.__init__