414 Verify Level_repr.v (should replace MR 879)
compiles but some statements in Level_storage are now invalid because a predicate in Level_repr.v has changed
Addresses #414 (closed)
compiles but some statements in Level_storage are now invalid because a predicate in Level_repr.v has changed
Addresses #414 (closed)