now test.py passes with compute_redundantinfo()