public void AddGuard(VariableDeclarationStatement guardStatement) { Debug.Assert(Guard == null); Guard = guardStatement; }