private int BuildCfgFromAst()
{
ListOfCfgNodes.Clear();
AstToCfgMapping.Clear();
ASTParentByASTNode.Clear();
LabelToStatement.Clear();
ProcNameToNode.Clear();
m_GlobalVariables.Clear();
m_BddManager.DeleteAll();
m_BddVariableToName.Clear();
m_BddVariableToName.Add("");
ExtractCfgNodes(BoolProgramAst, null, null);
ErrorNode = new CFGNodeError();
ListOfCfgNodes.Add(ErrorNode);
BuildNextFunction();
BuildSuccesors();
return(0);
}