Introduce convenience function to eliminate unary and

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Removed more unary conjunctions

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>