Automatic Test Pattern Generation In Python Example Programs