traced conditions
implement EarlyExitCompupter for LabeledExpression