1 = definitely empty (for some serialization), 0 = possibly non-empty; may invoke mpq_push() to discard empty block */
source not stored for this graph (policy: none)
no test coverage detected