Move changes to sLR++ solver and fix some problem with precision.
Remove the backedge variable, which was an ugly non-terminating hack.

This also improves precision!