Inter-Procedural Program Synthesis For Automatic Architectural Tactic Implementation