added cfg support and functions eq,Contains,Findvariables,Printtree