Fixing and improving deep Pattern Matching

Fixing and improving deep Pattern Matching

added bug enhancement labels

assigned to @tsegelnik

mentioned in commit 625992f3

mentioned in commit cb4d844e

mentioned in merge request !19 (merged)

mentioned in commit 178a2463

closed with merge request !19 (merged)