Update BooleanFunction.py