Shorten the result variables by removing the declaration of duplicated types.
Fix: "findNode" fails if "t.nodeSeq[offset]" causes an out of index error.
A argument of "findNode", which is "insertion", is not used.
Fix: "check" should equal to "node".