Added weak transitions in local checker