(set-guard-checking nil)
(include-book "class/lex" :dir :system)
(set-well-founded-relation l<)