code: private WyalFile.Stmt implies(WyalFile.Stmt antecedent, WyalFile.Stmt consequent) {
  		if (antecedent == null) {
  			return consequent;
  		} else {
  			WyalFile.Stmt.Block antecedentBlock = new WyalFile.Stmt.Block(antecedent);
  			WyalFile.Stmt.Block consequentBlock = new WyalFile.Stmt.Block(consequent);
  			return new WyalFile.Stmt.IfThen(antecedentBlock, consequentBlock);
  		}
  	}
docs: Construct an implication from one expression to another
  
  @param antecedent
  @param consequent
  @return