Non optimize, assume input as two valid same length Arraylist that has a valid binary tree formation. Also assume that the second arraylist is postorder.