add accumulation context to Exp