Fatal error: exception Assert_failure("src/RTLabs/RTLabsToRTL.ml", 23, 9)