Optlang: Prove that col_def preserves syntactic property.
Optlang: Prove that col_funs preserves syntactic equivalence