As a quick solution, when a variable is removed the conditions of all associated vertices are evaluated with this variable beeing false.
As a quick solution, when a variable is removed the conditions of all associated vertices are evaluated with this variable beeing false.