added possibility to escape " (via \") in string constant terms
this needs to be done only in the naive case
ogatom has no tuple if it was lookedup

so lets not print it, print found ID instead, otherwise arity comes out
as "-1" = uint32_t underflow
ogatom is only used for creating and storing the ogatom

so use it only in case we don't find the ogatom and need to create it
fixing term analysis bug

we need to increase nestings even if this is the second nesting

otherwise foo(bar(baz,bam))
will incorrectly end up as [ foo | bar(baz | bam) ]

also added assertions
replacements should be external auxiliaries [Christoph please check]
store subterms with help of registry

this way integers become integers and not stored as constants
(this was the bug)
not putting "dummy ID" for non-nested terms

I think it is better if this fails specacularly if someone makes a wrong
assumption about arguments of a non-nested term

it cannot contain its own id because it probably should not register
itself (?)
start with unnested term, analyzeTerm will add the flag if necessary
handling non-nested terms better

this is connected to removal of ID_FAIL in previous commit
the ID_FAIL dummy caused the assertion to fail (which is correct)