First implentation with a everywhere variable
Precedence without roles