[B.A.T.M.A.N.] renaming batman_if