add method to kleeBL