ForbidReturnInFinalBlockCheck#195 Compilable UT inputs