Execute the following example with help of the abstract machine. Iocal A B C in thread if A then B-true else B-false end endthread if B then C-false else C-true end end A=false end Just sketch execution, the important point here is to understand how threads are created and executed.