Function decompose_proj 

pub fn decompose_proj(e: &Expr) -> Option<(&Name, usize, &Expr)>

Decompose a Proj expression into (struct_name, field_index, value).