[fix] semantic_check_success initialization