introduce isl_bool and isl_stat return types