A conjecture of Bavula on homomorphisms of Weyl algebra