Text this: Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps