View the model
Download the model

This version checks if there is a feasible solution, and if not, calls the DEBUG analysis;