fn non_str_nor_plus(bin: &RBinExpr) -> bool