cdex_options([format=imp, gen=[d(_,_),b], sort_imp_bodies=1 ]).