Add inconsistent expressions detection.