Refactor InfeasibleMinIIProperty & resolve TODOs
The InfeasibleMinIIProperty class is responsible for too many things right now. Some steps should probably be refactored and tested properly and independently from the generation process as a whole (e.g. node placement).