Merged the logic for dealing with equality vs. inequality comparison nodes in the linear solver. Also, address some minor style issues raised in the pull request.