Fixed a small issue in the linear solver that showed up when the solver was called on an equation containing logical connectives.