Working on handling the stateful model. Added a lot of stuff. Unfortunately it seems to have introduced some regressions in the old tests... But maybe they were introduced before?
Finished the stateful <-> stateless conversion. Need to test it.
Corrected problems with the stateful <-> stateless conversion. Seems to work!
Found a bug related with ATD: package.depends field is "one list too deep". Don't know why it happens!