Improving the Efficiency of Design Protocol Analysis: An Approach to Speed Up the Coding Stage