SAT>IP : Fix satip_frontend_is_free..