Converts an if statement containing conjunction operation into two nested if statements with simplified conditions.