Optlang: Tweak col_fun definition
Optlang: Add lemma about defs generated after col_funs
Optlang: Map condition on empty lemmas
Optlang: Improve definition of defs_contain etc.
Optlang: Simplified lemma for running from start state.