add missing @history[]
fix contract-stronger for struct/dc with #:inv clauses