update conservativity to use proves_ACONV