default VI made more compatible with infinite state spaces that are
limited by terminal functions