overlays the resolved plan onto an env, so existing isPaid(env) call sites need no change
isPaid(env)
overlays the resolved plan onto an env, so existing
isPaid(env)call sites need no change