let possible_annotations = [ S.true_str; S.false_str ]