Fix crash of graph solver if a variable does not occur in the formula.
Fix crash of graph solver if a variable does not occur in the formula.

Ezibenroc/satsolver,Ezibenroc/satsolver,Ezibenroc/satsolver,Ezibenroc/satsolver