Verification for leaf intermidiate and top events is added.