version with pc being modeled as PredValues seems to work for multiex
change MERGE_ENABLED in PredValues to activate or deactivate state merging.