Function expected_test_names 

pub fn expected_test_names(file: &File) -> Vec<String>

List the expected test function names that the harness generates.

Used by intent-implement to validate that the LLM output includes all contract tests.