[DK parsing] fix mk_def
[DK parsing] fix mk_def

mk_def requires a (set of) rewrite rule, not the body of the definition.

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition