assert typeMatchesInferred(aggCall, Litmus.THROW); Preconditions.checkArgument(aggCall.filterArg < 0 || isPredicate(child, aggCall.filterArg),
assert typeMatchesInferred(aggCall, Litmus.THROW); Preconditions.checkArgument(aggCall.filterArg < 0 || isPredicate(child, aggCall.filterArg),