For example: `a && b || a` can be replaced with just `a`.
For example:
a && b || acan be replaced with justa.