VerifyError on feature that does not return

[fridis]

With this code

a Any => do
_ := a

I get

 > ./build/bin/fz tj.fz

error 1: java.lang.VerifyError: (class: fzC_a, method: fzRoutine signature: ()LfzI_Any;) Unable to pop operand off an empty stack
	at fzC_universe.fzRoutine(Unknown Source)
	at fzC_universe.fz_run(Unknown Source)
	at dev.flang.be.jvm.runtime.FuzionThread.lambda$new$1(FuzionThread.java:90)
	at dev.flang.util.Errors.runAndExit(Errors.java:845)
	at dev.flang.be.jvm.runtime.FuzionThread.lambda$new$2(FuzionThread.java:99)
	at java.base/java.lang.Thread.run(Thread.java:833)


*** fatal errors encountered, stopping.