Add support for If-statement (without else)

[gleiss]

• Currently, we directly only support if-else.
• We expect to have many programs where we want to use if without else.
• We can also use if-else with a skip statement in the else-branch, but it is inconvenient to do so.