| line | !l | l&&!r | l&&r | condition | 
 
| 106 | 1 | 0 | 0 | $$self{'intVal'} == 0 and not defined $$self{'size'} | 
 
| 230 | 0 | 0 | 0 | UNIVERSAL::isa($bv1, 'Algorithm::BitVector') and UNIVERSAL::isa($bv2, 'Algorithm::BitVector') | 
 
| 240 | 0 | 0 | 0 | UNIVERSAL::isa($bv1, 'Algorithm::BitVector') and UNIVERSAL::isa($bv2, 'Algorithm::BitVector') | 
 
| 278 | 0 | 0 | 0 | UNIVERSAL::isa($bv1, 'Algorithm::BitVector') and UNIVERSAL::isa($bv2, 'Algorithm::BitVector') | 
 
| 316 | 0 | 0 | 0 | UNIVERSAL::isa($bv1, 'Algorithm::BitVector') and UNIVERSAL::isa($bv2, 'Algorithm::BitVector') | 
 
| 345 | 0 | 0 | 0 | UNIVERSAL::isa($bv1, 'Algorithm::BitVector') and UNIVERSAL::isa($bv2, 'Algorithm::BitVector') | 
 
| 511 | 0 | 1 | 0 | defined $$self{'intVal'} and ref $$self{'intVal'} eq 'Math::BigInt' | 
 
| 705 | 0 | 0 | 0 | int $self == 0 and int $other == 0 | 
 
| 1023 | 0 | 0 | 0 | $bit == 0 and $previous_bit == 0 | 
 
|  | 0 | 0 | 0 | $bit == 1 and $previous_bit == 0 | 
 
|  | 0 | 0 | 0 | $bit == 0 and $previous_bit == 1 | 
| line | l | !l&&r | !l&&!r | condition | 
 
| 93 | 0 | 0 | 0 | $$self{'intVal'} or $$self{'size'} | 
 
|  | 0 | 0 | 0 | $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 0 | $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'bitstring'} | 
 
|  | 0 | 0 | 0 | $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 0 | $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} or $$self{'textstring'} | 
 
| 102 | 0 | 0 | 1 | $$self{'filename'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'bitlist'} or $$self{'bitstring'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} or $$self{'textstring'} | 
 
| 134 | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'bitlist'} or $$self{'bitstring'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'bitlist'} or $$self{'bitstring'} or $$self{'hexstring'} or $$self{'textstring'} | 
 
| 142 | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitstring'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitstring'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitstring'} or $$self{'hexstring'} or $$self{'textstring'} | 
 
| 148 | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'hexstring'} or $$self{'textstring'} | 
 
| 156 | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'hexstring'} | 
 
|  | 0 | 0 | 1 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'hexstring'} or $$self{'bitstring'} | 
 
| 167 | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'textstring'} | 
 
|  | 0 | 0 | 0 | $$self{'filename'} or $$self{'intVal'} or $$self{'size'} or $$self{'bitlist'} or $$self{'textstring'} or $$self{'bitstring'} | 
 
| 192 | 35 | 25 | 0 | $val == 0 or $val == 1 | 
 
| 193 | 0 | 0 | 60 | $posn >= $$self{'size'} or $posn < -$$self{'size'} | 
 
| 211 | 0 | 0 | 60 | $pos >= $$self{'size'} or $pos < -$$self{'size'} | 
 
| 661 | 0 | 0 | 0 | $val == 0 or $val == 1 | 
 
| 948 | 0 | 0 | 0 | $remainder_highest_power < $mod_highest_power or int $remainder == 0 | 
 
| 1062 | 0 | 0 | 0 | $a_raised_to_q == 1 or $a_raised_to_q == $p - 1 |