type assertionLevel = enumeration(nomessage "no message", warning "Simulation continues with warning", error "Simulation stops");