Function same_file 

fn same_file(a: &str, b: &str) -> bool

Returns whether two Solidity paths of claims can name the same file: one is the other or ends with it. Agents name a file relative to the project, by its file name, or by its path in their copy of the project, so Vault.sol and /tmp/copy/src/Vault.sol agree with src/Vault.sol, but src/one/Vault.sol and src/two/Vault.sol do not.