[Bug] TYC Bug for unknown functions.

[d0cd]

🐛 Bug Report

import credits.aleo;

program foo.aleo {

    async transition deposit(amount: u64) -> Future {
        let f1: Future = credits.aleo/transfer_public_as_signer(foo.aleo, amount);
        return finish(f1);
    }
    
    async function finish(f: Future) {
        f.await();
    }
}