SetExpr contains identifying token