This procedure processes If statement. Both then and else statements are processed recursively. If condition expression is constant at compile time only then or else statement is generated.