[BUG] Can't resolve variables with the same name inside callFunc

[AdrianLiu00]

Describe the bug
Can't resolve variables with the same name inside callFunc, when importing the function module and defining the variables (as the same name) in one funtion body.

To Reproduce

import allo
from allo.ir.types import int8

def test():

    from allo.library.systolic import systolic

    M = 5

    A = 5
    B = 3
    C = 8
    A0 = 1
    B0 = 4

    def top[Ty](X: "Ty[A, B]", W_A: "Ty[B, C]") -> "Ty[A, C]":
        Z: Ty[A, C]
        systolic[int8, int8, int8, M, B, C, A0, B0](X, W_A, Z)
        return Z

    s = allo.customize(top, instantiate=[int8])

test()

Buggy output
RuntimeError: Cannot resolve type M with M

Expected behavior
Reslove and passing parameters correctly.

Additional context
This problem does not arise when the import function and variable definitions are not in the same function body.