Removed wrong assert in solver.
Variable elimination is performed also for non-tight programs. (Variable in cyclic components are frozen)