Identities for a parametric Weyl algebra over a ring

In 2013 Benkart, Lopes and Ondrus introduced and studied in a series of papers the infinite-dimensional unital associative algebra $\A_h$ generated by elements $x,y,$ which satisfy the relation $yx-xy=h$ for some $0\neq h\in \FF[x]$. We generalize this construction to $\A_h(\B)$ by working over the fixed $\FF$-algebra $\B$ instead of $\FF$. We describe the polynomial identities for $\A_h(\B)$ over the infinite field $\FF$ in case $h\in\B[x]$ satisfies certain restrictions.