Fixing when to use the Default InRpl and factoring out the decision procedure into a static method in ASaPType.
More precise Prolog names for overloaded 'operator' declarations.
Using the "normalizer" function to generate Prolog names from declaration names.
Updating expected result now that we added the Global region to the parent of all rpl_domains