.classpath compiles src and test

add a unit test to make sure that the atoms on the top level
are really coming from a DP. This paradigm has to also condition
on the number of atoms, so we could iterate through all possible
numbers of atoms and check for each one (if there are enough
such observations then it should get a pretty good estimate)