Use the BOR-MI-CSET procedure to derive the constraint set and the test set TBor-Mi for the following predicate p: (a+ bc+!cd) where a, b, c, d are Boolean variables. Show all the steps in generating TBor-MI. Draw the abstract syntax tree (AST) and label the nodes N1 to Nm Remember to generate a test set TBor-MI corresponding to the root node in the AST