Analysis: Invariants: added coveredByXInvariants with precalculated invariants.