Test reloading condensed defs