add failwith_def to the inference compute lib