Improved detection of erroneous semantics.