Now the atomicity analysis does not analyze the call graph.  Instead we just
verify the parsing tree of an WordInstance to determine if the methods are run
atomically.  This is a little bit more expensive but is also more precise and
allows synch blocks to be handled easily.