Branch condition check in module.