warning is_known_to_be_minimal