negative matching using Smacc