* BugFix in readWriteSet generation
 * Commenting and changing really minor stuff