Use multiple filecheck prefixes in msan instrumentation tests.