funcsOfProg getCommentString' getCommentString hasCommentOption isDependent main onlyLinearFunctions optimizeExp optimizeFun optimizeNonstrictEquality optimizeNonstrictEqualityInModule optimizeNonstrictEqualityInModuleIfNecessary readWordsInFirstCommentLine storeOptimizedModule sum unzip4