At Clause Order Check compilable UT inputs #388