Will deflation lead to depletion? On non-monotone fixed point inductions | IEEE Conference Publication | IEEE Xplore