Function remove_bytecode_dependencies 

pub(crate) fn remove_bytecode_dependencies(
    gcx: Gcx<'_>,
    deps: &PreprocessorDependencies,
    data: &BTreeMap<ContractId, ContractData>,
) -> Updates

Goes over all test/script files and replaces bytecode dependencies with cheatcode invocations.

Special handling of try/catch statements with custom returns, where the try statement becomes

try this.addressToCounter() returns (Counter c)

and helper to cast address is appended

function addressToCounter(address addr) returns (Counter) {
    return Counter(addr);
}