fix: three Boogie prelude bugs (#584) #1650

Job	Run time
build-prover	2m 39s
kit-specs	45s
scallop-bpl-generation	22m 45s
internal-tests-prover	7m 20s
internal-tests-stackless-bytecode	2m 2s
token-distribution-specs	29s
integer-mate-specs	1m 25s
cetus-bpl-generation	16m 18s
ika-bpl-generation	8m 59s
notify-slack-on-failure	0s
	1h 2m 42s

Provide feedback