FuncNode Node representation of sequence functions for equivalence checking and pattern problem generation