-> "See if asumption `a` implies Q.positive(expr)"