ExpMapMake.Check
val check : Gillian.Gil_syntax.Expr.t -> then_:(unit -> 'a Gillian.Monadic.Delayed.t) -> else_:(unit -> 'a Gillian.Monadic.Delayed.t) -> 'a Gillian.Monadic.Delayed.t