Basically branch coverage but also all variations of the predicates, e.g. testing both true || true, and true || false