non riesco ad accedere ai metodi della classe atom.
per controllare la safety la mia idea era di controllare che ogni
variabile che compone la regola è safe, ma se provo a chiamare il 
metodo getVariable() mi da errore...sono un pò bloccato...