PaperPrincipled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints