bounded call stack search.
added two more tests to multiex