Fix model checking of inlined ADT invariant#780

romac wants to merge 1 commit intoscala-2epfl-lara/stainless:scala-2from

romac/check-model-inline-invariant-fixepfl-lara/stainless:romac/check-model-inline-invariant-fixCopy head branch name to clipboard