Empty Block Check compilable UT input

Compilable UT inputs