case dbg_straightening: return "dbg_straightening"; break;
case dbg_if_simplification: return "dbg_if_simplification"; break;
case dbg_algebraic_simplification:
return "dbg_algebraic_simplification"; break;
case dbg_write_after_write: return "dbg_write_after_write"; break;
case dbg_write_after_read: return "dbg_write_after_read"; break;
case dbg_straightening: return "dbg_straightening"; break;
case dbg_if_simplification: return "dbg_if_simplification"; break;
case dbg_algebraic_simplification:
return "dbg_algebraic_simplification"; break;
case dbg_write_after_write: return "dbg_write_after_write"; break;
case dbg_write_after_read: return "dbg_write_after_read"; break;