labelstatements are now renamed whenever replaceOpt function is used