open Cminor

let more_likely (c: condexpr) (ifso: stmtlist) (ifnot: stmtlist) = false