Minor bugs fixes to Emulink and AlarisGp.pvs