init visited and boolean_variables_under_exploration