tiramisu-api-python/test/data/choice1_requires.prop2