python precondition