Enhance phase sequencing assertions