RelationExpr: IR

An IR expression whose value is a relation