adjusted check syntax so that it does renaming better. Specifically, it finds all variables that match the one being renamed in the fully expanded program, as well as all variables that have the same source locations of any of those (etc).
adjusted check syntax so that it does renaming better.
Specifically, it finds all variables that match the one being
renamed in the fully expanded program, as well as all variables
that have the same source locations of any of those (etc).

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket