aggressively leak memory in CSEFlowFunction to ensure correctness