Removed tabs and trailing whitespaces.
Slight refinement for k > 2.
Added an example with a constant complexity.
Merge cintchain/cchain processors
Removed trailing whitespaces.
Generalize extractSizeMapForRule, move to GSC module
Resolve duplicated binding for getCost
refactor using the highest possible order lib function
Implement full cost functions for rules (combining sizes/complexity)
Refactor: Take it to the highest order
Refactor output of size complexities, move code to GSC
More refactoring/common code extraction
Daft Punk revisitied: Higher, higher, order
Higher, order, better
Disable PRF for exponential bounds for now.

I am not convinced that the current version is sound...
Fixed description.
Do something better in Complexity.sup

This is still not too good, though.
Made GSCs dumpable again.
A mapping X_i -> ... is only useful for PRFs.
Implemented first version of separation.

It is currently not used, and it is somewhat unclear to me how and
when to use it.