remove the unnecessary dependency on CheckingFuelMonad in ast2ir and ir2ast conversion.