Print invariants to console