Function exists 

pub fn exists<'st>(
    st: &'st Storage,
    vars: impl QuantifierVars<'st>,
    term: Bool<'st>,
) -> Bool<'st>

Existentially quantifies over vars in expression term.