fixup! add RelationOutput symbol and ExpressionAnalyzer