decided to accept only stratified negation programs