Update precondition.py