Implements warnings that are emitted in cases where code passed to Snix exhibits problems that the user could address.