Member predicate Expr::Expr::hasChild

Holds if e is the nth child of this expression.

predicate hasChild(Expr e, int n)