Now the atomicity analysis only needs the LCA to determine the atomicity of a
word instance.  This also fixes a subtle bug where a word instance is reported
as atomic but can in fact be executed non-atomically.