added branch condition checking module