considerably simplified code in TopDown, by ignoring non-negation-stratified programs