disallow cases without pattern in matcher too (closes #2415)
simplify to_string handling in DCE