Make withEmptyStack accessible from within webppl