Reorganized code of the SafetySharp project