Add a 'check' production to integrate test machinery.