Graph Construction and Matching for Imperative Programs using Neural and Structural Methods