improve Bfprim: isBfprimNonIO