H_abstraction: Update node 418