The users of modern design software for electrical appliances can accidentally attempt an analysis of ill-posed design problems, ones with no sensible solution. It is tedious to track down such mistakes manually, but certain ...