start on statement for compile_decs_wrap_thm