and
When both #86 and #87 are fixed, restore the commented tests about check_prod in tests/python/to-expansion.py.
tests/python/to-expansion.py