Searching in examples/extenderbased.square