tiramisu-api-python/test/data/number1_mod_value.prop