Replacing BoolMask by BitSet (issue #11)
CtcPropag: fix bug on bitsets initialization