Predicate Assertions::assertFail

A trivially failing assertion. That is, assert false or its equivalents.

predicate assertFail(BasicBlock bb, ControlFlowNode n)