negationterms now a have a single additional space in trees so that they are better visible; put tests into a second file