Add effectless code elimination