[util]simpl_fuel can apply on hypothesis

2 jobs for zhenlei@cancellable_contract in 3 minutes and 54 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #307844731
coq:8.8

00:03:17

failed #307844733
coq:8.9

00:03:53

 
Name Stage Failure
failed
coq:8.9 Build
+- 
+- The following changes have been performed
| - install ott 0.29
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190930134018.export"
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
+- 
+- The following changes have been performed
| - install ott 0.29
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190930133943.export"
ERROR: Job failed: exit code 1