pub fn test_var_is_provably<'db>( env: &mut Env<'db>, var: SymVariable<'db>, predicate: Predicate, ) -> bool