-rename NoconcurrentWriting to SingleWritingChecker.
-SingleWritingChecker check that all the variables are written at least
once and by just one state machine.
-NoUselessVariable tests now just that there is no variable written but
never used. 
-refactor the tests to suit the change occured to the classes.