private void menuBackpropagate_Click(object sender, System.EventArgs e) { patternMatching.Backpropagate(); }