Added a few 'if-then-else-plus-fail' tests.
Added an overloading test that implies backtracking with formal
parameter patterns.