Give correct reduction feedback
Complete example could not be reduced completely

Fixes #66 and test path reduction