Changed InSequense where time args are removed from InSequence and used
only in translations. Also added existentials in trans_InSequence such
that each request uses a fresh existentials.