add infeasible rows to debug output
fix typo with guard usage