Stadfa: An Efficient Subexpression Matching Method