added occurs checks and gvar-uvar-depend check