Test BDD restriction. Initial revision.

It already finds a mistake in the current version:

   %?- run.
   %@ 0.
   %@ 1.
   %@ 2.
   %@ 3.
   %@ ERROR: Domain error: `reduced_ites' expected, found `[node(1062): (v_i(_G1075,441)->node(1061);node(1057)),node(1057): (v_i(_G1104,442)->node(1056);node(1055)),node(1055): (v_i(_G1118,443)->true;false),node(1056): (v_i(_G1118,443)->false;true),node(1061): (v_i(_G1104,442)->node(1060);node(1059)),node(1059): (v_i(_G1118,443)->false;true),node(1060): (v_i(_G1118,443)->true;false)],[t(441,node(1061),node(1057)),t(442,node(1056),node(1055)),t(443,true,false),t(443,false,true),t(442,node(1060),node(1059)),t(443,false,true),t(443,true,false)],[t(441,node(1061),node(1057)),t(442,node(1056),node(1055)),t(442,node(1060),node(1059)),t(443,false,true),t(443,true,false)]'
   %@ ^  Exception: (18) catch(clpb: (bdd_ite(_G175{triple = ..., id = ...}, _G677, []), '__aux_maplist/3_ite_ground+0'(_G677, _G684), sort(_G684, _G690), (same_length(_G684, _G690)->throw(is_ok);domain_error(reduced_ites, (_G677, _G684, _G690)))), is_ok, clpb:true) ? abort
   %@ % Execution Aborted