split the verification SingleWritingChecker to two verifications. One
verify that the variable isn't written more than once and the other that
the variable is written at least once. 
Add the checkbox associated to the new test in the Gui HomePage