change size counting for specific spec
organizing dependencies of specific specs was simplified
move using operator into VD module
is? method implementation
specific atom store only monovalent atom names instead it instances
correct dependencies between specific specs (incoherent state and dangling entities are taken into account)