cfgGetSuccessors unified