Use Dolmen attribute to store well founded order#1153

Halbaroth merged 8 commits into

OCamlPro:nextOCamlPro/alt-ergo:nextfrom

Halbaroth:order-attributeHalbaroth/alt-ergo:order-attributeCopy head branch name to clipboard