added new vector representation using bits of integers (speed up + save space)
added static storing of recurrent states and recurrence classes (speed up)
added leak number evaluation
added executable to test the one leak hypothesis