adding/correcting cover tests in base/boolean