Liftable derivations for generically separably algebraic morphisms of schemes