Empty Block Check compilable UT input