* Add conversion from bool to int * Update specification * fix codestyle * Fix conversion error * Resolve review comments