Table of information about lifted PFCSes.
For each lifted PFCS definition, we store an entry in this table whose key is the definition name (a string) and whose value is the information of type lift-info.
