True is considered `always true`

There should be a special case for True and otherwise to make them considered "fully covered" if they're "always true".