Upper limit can now be automatically calculated. The problem is that there are very little shared properties. We hope that adding materialization and using other datatsets will improve the results.

* [IOTW,NEW] Finished determining the upper limit of a given alignment set. This is calculated somewhat efficiently using a combination of associaltion lists and ordered sets (see module ASSOC_MULTI in PGC).