[T] 给MA2转Simai测试中，对生成的simai，增加“时间标记应当符合某种标准规定语法”的断言。

[T] 给MA2转Simai测试中，对生成的simai，增加“时间标记应当符合某种标准规定语法”的断言。 #123