WyC: adding support for pretty printing invariants.