auxiliary.icn now contains procedures to check for concurrency and write error messages if concurrency is not enabled