Added test case for disjunctive DCG meta-arguments.