Add warnings about synchronization with the tested program