`eif_box' is fixed in rev#87235 of EiffelStudio 7.0 intermediate release.