alter-meta! on int-var
Added the "Reified" constraint