Refine pool annotations: conditional emission, multi-variable overloa… #1676

Job	Run time
build-prover	2m 48s
token-distribution-specs	30s
internal-tests-prover	7m 38s
scallop-bpl-generation	21m 31s
integer-mate-specs	1m 24s
internal-tests-stackless-bytecode	2m 48s
cetus-bpl-generation	15m 1s
kit-specs	37s
ika-bpl-generation	9m 51s
notify-slack-on-failure	0s
	1h 2m 8s

Provide feedback