Commit Safeness Analysis formal definition, ancora in corso