Find the location where a certain Variable index is by searching the constructors
aswell. i.e find a term that can be transformed into a pattern that contains the
same value the index. This fails if no such term is present.