decidable.to_bool source