cleanup of signature of proverse function
Merge pull request #1 from fotis007/master

separates data analysis and file access