public static NewFormula New(ConstructorInfo constructor, ReadOnlyCollection<Formula> arguments) { return New(constructor.ToConstructorDecl(), arguments); }
public NewFormula(ConstructorInfo ci, Formula[] arguments) { Constructor = ci.ToConstructorDecl(); arguments.AddRangeTo(Arguments); }