tree 4fd61e314f4ef8a8af3186173f2d61af8ddcb0a2
parent 5b3046f4f6974f903bcd4bdc6aa5e3691f1f1ca2
author Akron <nils@diewald-online.de> 1539191922 +0200
committer Akron <nils@diewald-online.de> 1539191922 +0200

Failing test for an expansion with negation

Change-Id: I6d379e739c38e0c2a5d06171cc423c71c4e76331