Updates to absence reasoning with post-compositions.