let test c t f = try_or_bot (W.test c t) f