Handle delta redefinition of LHS of an expression