Update assertion in BoolTransformer