Generate a BRO-adequate test set T_BRO for

p_r: (a<0) (b=1) (c>2) (D !E)

where a, b, c are integer variables and D, E are Boolean variables.

Show all the steps in generating T_BRO.

Draw the abstract syntax tree (AST) and label the nodes N₁ to N_m.

Explicitly list the true and false constraint sets for each node in the AST.

Remember to generate a test set T_BRO corresponding to the root node in the AST.