Adding implicates for UUID conversions