Add the helper function create_Const_from_bool() to create 0/1 constant from a boolea...