fixed kleene-solver, "sink"-variables (that do not appear on rhs) will now be treated correctly