Stricter triggers on FVF snap extensionality axiom #936

marcoeilers merged 4 commits into

masterviperproject/silicon:masterfrom

meilers_stricter_fvf_snap_ext_triggersviperproject/silicon:meilers_stricter_fvf_snap_ext_triggersCopy head branch name to clipboard