test case for ExprProc hygiene
implement hygiene for ExprProc