Preprocessing and feasibility

Introduces the detection of infeasibilities during preprocessing.