check_for_binding_correctness__mt_fail