Predicate SizeCheck::baseType

predicate baseType(Allocation alloc, Type base)