ru.ispras.fortress.data.types.bitvector.BitVector data
Precision precision
Where where
ISemanticError error