Questions about Invariants in RM and Foundation Types

Yes it is definitely a good idea; the worst can happen (in general) is that ticket is rejected (or deferred or delayed - to be honest thats even worse) - but your report and analysis looks pretty sound, and the fix might be easygoing to be picked up soon. Thank you again for your work on this.