InstanceReduction
tests
