Backend for flux bound const-ness implemented
Added FBADialog