phc: export mapping between variables and local states
(experimental) add method to reduce PH from GLC