Validator bugfix (temporary)

Not checking the fake exit block for direct predecessors, but for
predecessors with procedural ending.