adding information for decreasing size
misc functions
termination analysis
fix hints