Tracking of GetSet and Well-Formed lemmas

[math-fehr]

This issue tracks the different GetSet and Well-formed preservation lemmas over all the Rewriter functions we care about:

Higher priority:

• insertOp?
  • GetSet
  • Well-Formed
• detachOp
  • GetSet
  • Well-Formed
• eraseOp
  • GetSet
  • Well-Formed
• replaceValue
  • GetSet
  • Well-Formed
• replaceOp?
  • GetSet
  • Well-Formed
• createOp
  • GetSet
  • Well-Formed
• IRContext.create
  • GetSet
  • Well-Formed

Lower priority (blocks and regions):

• insertBlock
  • GetSet
  • Well-Formed
• createBlock
  • GetSet
  • Well-Formed
• createRegion
  • GetSet
  • Well-Formed

[tobiasgrosser]

@math-fehr, cant his meanwhile be closed?

[math-fehr]

Yes, thanks for the reminder