let possible_annotations = 
    S.true_str :: S.false_str :: Base.possible_annotations