Fix in atomicity analysis: synch methods were not taken into account.