Function replace_expr_ty 

fn replace_expr_ty<'tcx>(expr: &mut ContractExpr<'tcx>, ty: Ty<'tcx>)

Replace size_of/align_of type arguments inside a contract expression.