Bugfix in validator, closes #15

Andris!
You are right 100%, the 'entrance basic block' can have predecessors, if
it is in a loop. The issue is fixed now.