### Currently, all allocas, which are not filtered by TypeART, are instrumented Add an additional condition that we need a direct source relation of the alloca (e.g., a name; line/col. number)