pub fn rewrite_unit<'a>(arena: &'a Arena, unit: &'a Unit<'a>) -> Unit<'a>
Rewrites a unit by prefixing local predicates with the package name.