First version of interference analysis

See #67.
Initial test case that (correctly) shows no interference

Need to have some test cases that show that we can detect interference.

See #67.