Added some new examples

fac is terminating
facneg is only locally terminating
yamada2 is NOT terminating
Fixed a long standing bug