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