Simplify defers.
Remove TODO in glpk backend.

Because I'm not going to evolve this code anymore.
Common error indicating that solution cannot be found.
Use exit code to discriminate "no solution" and general errors.