Invertible infinitary calculus without loop rules for restricted FTL