Check if branch after end is allowed
PASSED: jump after end ALLOWED
END OF TEST
