Checks bool expressions for redundant and suspect parts