REDU16-Boolean assignment can be shortened

Boolean assignment can be shortened (REDU16)

This list contains locations with statements like

This could be shorter and better written as

See also:

Reductions