Backend for flux bound const-ness implemented