For constant term: f(a,b,g(t)), pattern term: f(a,Y,X) when pattern matching we can use the following assignment Y=b and X=g(t) to make the two terms match.
Note: A variable in the pattern is allowed to match anything in the other structure.
What do the uppercase letters X,Y represent?
