The variable typing classifier and the type disambiguation algorithm determine the types of the variables x and y as "vector".
the variable nodes in figure 1(a) will be substituted with their type, producing the SLT in figure 1(b).