Implementation of to_bool and debug in b_exp