Added sat -set-init-zero support