revert SireumCli