0023307: Same variable value verified twice in TopOpeBRepTool_TOOL.cxx