Open
Description
This issue was copied from checkedc/checkedc-clang#972
The free variables work still uses an EqualExprTy
to denote the type of a set of expressions. There is also the method EqualExprSetContainsExpr
that operates on an ExprSetTy
and so should be renamed to ExprSetContainsExpr
.