GlobalInExpressionBug.cir
tags
