Added supporting assertions for presence/absence.
Fixed bug causing no supporting presence states to be found.