However, an occurrence of the terminal y can be instantiated to the range .
in a clause, several occurrences of the same terminal may well be instantiated to different ranges while several occurrences of the same variable can only be instantiated to the same range.