update Breeze-Compiler Project;
add deadlock checking;