Add sequence axioms to prevent possible matching loop - #594

Add sequence axioms to prevent possible matching loop#594

marcoeilers wants to merge 2 commits into

masterviperproject/carbon:masterfrom

meilers_seq_ax_fixviperproject/carbon:meilers_seq_ax_fixCopy head branch name to clipboard