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