Fixed bugs initializing abstraction list for a new verification view.
Fixed bugs initializing abstraction list for a new verification view.

MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim,MyersResearchGroup/iBioSim