Implemented a guard against name-clnflicts between variables and
constants