Converts an if-statement containing a conjunction operation in its condition into two nested if-statements with simplified conditions.