From: Heinrich Schuchardt <xypron.glpk@gmx.de>Date: Sun, 31 Jul 2016 11:53:57 +0200> (!A || (A && B)) is equivalent to (!A || B)> > Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>Applied.