Better description of ExludedExpr, assertions