Function cleaver::analysis::types::check_statement

pub fn check_statement<'a>(ctx: &Context,
                           stmt: &'a Node<Statement>)
                           -> Result<'a, ()>