Function decompose_pi 

pub fn decompose_pi(e: &Expr) -> Option<(BinderInfo, &Expr, &Expr)>

Decompose a Pi expression into (binder_info, domain, codomain).