check semantics of postfix 'if', 'case' and 'switch' statements
check semantics of 'if' statement and tweak some layouts