Fix considering arcs involving variables that haven't been assigned yet.