Hole: seedExprEnv returns a jumpTo transaction