AntiUnification generalises from examples