let imp_can_redo t = can_redo t.h