Fixing crash in proof obligation expression computation#783

Merged

marcoeilers merged 2 commits into

meilers_fix_proof_obligations

Mar 28, 2024

Commits on Mar 28, 2024

Fixing crash in proof obligation expression computation because code did not expect subnodes to also return type
marcoeilers
committed
Added sanity check that proof obligations for type subexpressions are empty
marcoeilers
committed

⚡