Ensure that programs are only rejected as unstratifiable when negation occurs within a dependency cycle.  Fixes #321.