Add CONTRACT to the pragmas that we recognise.