Renamed backtrace to forward trace

Also, added heuristics to forward trace, to traverse
on TemplateInstantiation edges first whenever possible