adding generate sessions call in ciBDD