They are not, after renaming. Previously they happened to skip "Bool" in name, so they were shorter than FnSuccessBool(false).