Add/test symbolic pattern matching