more realistic disjunctive examples and tests

Signed-off-by: greenTara <taraathan@gmail.com>
Merge pull request #22 from greenTara/1.01-dev

more realistic disjunctive examples and tests