let check_asserts () =
R.feedback "check if there are some redondant assertions...";
let to_be_removed = f_check_asserts () in
let n = List.length to_be_removed in
R.result "[check_asserts] %d assertion(s) could be removed@." n;
to_be_removed