Semantic Analyser: Workaround for bug in ast.

Specification for BranchNode.getStatementNodeOnFalse reads:
“If no else branch exists this will return an empty block”.
But it returns “null” instead.
Semantic Analyser: Fixed missing “pointer” in Test.