Remove all head operations on delta list
Add proper propagation methods and test them