Bugfix: Negation Contains Quantifier bug

Add dragon and lecturer test.