MoicU 2 : a t-ppl ISfl