Avoid inlining oneShot in unfoldings