Add a testcase for a call which BasicAA says only accesses memory through