Java rewrite engine

What I mean here is that the boolean function is that the subListEquality function to check whether or not a list is contained in another list. "Back" indicates that the subListEquality is applied from the tail of a list.