added rules for if-then-else instruction