fn check_sym_presence(
    states: &[State],
    sym_name: &str,
    handler: &mut dyn Handler
)