Couple of 'assert false' in level-checking are superfluous