Adding Prolog assertions for region names, magic constant removal, and preparing for asserting effect summaries to Prolog