Add Apron-based invariant generation processor