concret model element testabl list testabl model element list arrai list arrai list model element remov event remov state remov state vertex 