(Im)Possibilities of Predicate Detection in Crash-Affected Systems