private final Model model;
private final ModuleDecl module;
private final Set<DeltaWrapper> deltas;
private final Set<String> importModules;
private ProductLine productline;
<BUG>private Product product;
</BUG>
private File outputFile;
private final boolean verbose;
private final TestCaseNamesBuilder testCaseNameBuilder = new TestCaseNamesBuilder();

private final Model model;
private final ModuleDecl module;
private final Set<DeltaWrapper> deltas;
private final Set<String> importModules;
private ProductLine productline;
private ProductDecl product;
private File outputFile;
private final boolean verbose;
private final TestCaseNamesBuilder testCaseNameBuilder = new TestCaseNamesBuilder();
