Predicate AV Rule 96::baseElement

predicate baseElement(ArrayType t, Type e)