fix `examples/ho/extensionality1.zf` by forbidding some HO demodulations
fix `examples/ho/extensionality1.zf` by forbidding some HO demodulations

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition