DeterministicDemandatisfactionTest Implementation