Text this: Invariants generation for method overriding using abstract interpretation /