Adding a variable for counting the number of clauses
[satune.git] / src / ASTAnalyses /
drwxr-xr-x   ..
drwxr-xr-x - Encoding
drwxr-xr-x - Order
drwxr-xr-x - Polarity