Add quickcheck tests for simple directives