Add matcher for infeasible result - return nil solution