Lines Matching defs:addPreInvariant