Added [if c [then t] [else f]] subpatterns