... print inferred invalid assertions