Merge branch '457-more-general-invariants-checker' into 'develop'

#457 Generalize invariants checking

See merge request !428
5 jobs for develop in 0 seconds (queued for 35 seconds)