Atomicity analysis now deals with synchronized methods, but not yet
synchronized blocks.