Heuristic solutions shouldn't be a member variable of Program
Added callbacks for simplified_fork inequalities and the graph writer
Create the list of infeasible 3-paths together with the graph