Optlang: Re-prove col_def_rel with new rules