public AssumeStatement() { this.condition = CodeDummy.Expression; this.description = null; this.conditionAsText = null; }