Add calculation of not stratified recursive and negative predicate