changed the behavior or renumberVars to make vars unique within a cfg