DerivationFrameworkExotics: remove mutable state

Enable thread-checker and remove mutables from EXOT5 and EXOT14.

Merge request reports

Loading