fix symbol resolving code left in CFGBuilder