Updated lab 02
Updated lab 3 and 4
Updated lab 4 and 5
TCE updated. New appLeak with alloy