fnreduce -mono-split fnreduce.sail:43:x
varmatch -mono-split varmatch.sail:7:x
vector -mono-split vector.sail:7:sel
union-exist -mono-split union-exist.sail:9:v
fnreduce -auto_mono
varmatch -auto_mono
vector -auto_mono
union-exist -auto_mono