for $j (0..((2**$current_size) - 1))
{
  $found = 0;
  @final_values = split(/[\s|\t]+/, $current_case);
  foreach $statement (@final_values) {
      if (bintodec($statement) == $j) {$found = 1;}
  }
  if (!$found){$missed_one = 1;}
}