Consider the code below:

$1.$ X $=2$;

$2.$ Y $=10$;

$3.$ if $($X $<$ Y$)$ goto $13$

$4.$A $=$ Y $+10$;

$5.$B $=$ X $*4+$ A;

$6.$Z $=10$;

$7.$if $($B $<$ Z$)$ goto $11$

$8.$D $=$ Y $+$ Z $*2$;

$9.$Z $=$ Z $-1$;

$10.$ goto $7$;

$11.$ X $=$ X $+2$;

$12.$ goto $3$;

$13.$ Y $=$ D;

$14.$ halt;

a$.$ Draw the CFG for the code and identify the loops in the code.

b$.$ Does the code contain any loop invariant statements? If yes, then write them out separately. Move the loop invariant statements outside their enclosing loop? Rewrite the code after hoisting any loop invariant code outside the loop.