Horns Pattern Identifier [LuxAlgo]