マングリング名に関するコメントを.mlから.mliに移した
add K-Normal form output.