let annotations2state dft = function
    | [] -> dft
    | [ s ] when s = S.true_str -> pub
    | [ s ] when s = S.false_str -> priv
    | _ -> assert false