Simplification dump instructions