solver/lidproc: Some micro-optimizations

[easyteacher]

If you don't mind my submitting micro-optimization PRs, I am willing to continue submitting them until I finish reading the source code.