In the solutions for HW#1, no one correctly defined the isSubStringOf predicate. Please do it for this homework.
Informally, for x,y &isin seq[CHAR], isSubStringOf(x,y) ::= true iff x is a contiguous subsequence of y.