Adds test case for inferred edges for #42