Added place to dump material on loop invariants.