feat(decompile): resolve external calls, simplify internal logic around external calls

feat(decompile): resolve external calls, simplify internal logic around external calls #665