[1] Beijing Inst Technol, Sch Comp Sci & Technol, Beijing 100081, Peoples R China
[2] FRS FNRS, UMONS, B-7000 Mons, Belgium
[3] Univ Paris Saclay, CNRS, LMF, F-91190 Gif sur yvette, France
[4] Univ Cambridge, OCaml Labs, Cambridge, England
[5] China Ship Dev & Design Ctr, Wuhan 430064, Peoples R China
[6] Univ Cambridge, Cambridge CB3 0FD, England