Fixed the handling of several IR nodes in specialize_branched_loops, including Load, Call, and Block nodes. Fixed a major bug in the linear solver's handling of integer inequalities.