Working on ListMiner, but not complete yet. However, also bug fix for an
infinite loop in DD if only invalid assertions exist.