Constructing Semantic Models of Programs with the Software Analysis Workbench.