[[
fyp1011
]]
Program Correctness Automation LAB
Trace: