Function parse_named_place 

fn parse_named_place<'tcx>(expr: &Expr) -> Option<ContractPlace<'tcx>>