fixed prog. options handling
Changed underlying representation of a BitVec from vector to array