parser can distinguish 'InductiveDataExpr' from 'InductivePatternExpr'