Partial matching and search space reduction for QbE-STD. (September 2017)