A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis