slightly more complex test for AC-matching (with a = literal)
slightly more complex test for AC-matching (with a = literal)

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