Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions