commented out code for clearing diagram when emuchart.pvs is deselected (that code causes the diagram to disappear when a different file is selected). Need to decouple the code for pvs code generation from ace -- if ace loses the context, then the diagram is lost.