[Emulink] some improvements in creating PVS theory
Merge pull request #62 from thehogfather/emulink-commented

[Emulink] some improvements in creating PVS theory