-auto_mono constprop.sail
