let
stmt_can_reach _ _ =
true