public Program () { DcgClauses = new DcgClause[0]; Clauses = new Clause[0]; }
public Program() { DcgClauses = new DcgClause[0]; Clauses = new Clause[0]; }