Make sure inf bound <= inf supp
Provide last state if an error happen