Fix precision issue with simplification rule 2.

* include/qdft/manager.hxx: Take the minimum between e1 and e2 in
  simplification rule 2 when e3 is equal to 0.

* src/example.cc: Add an assert to check for simplification rule 2.