==== Source: a ====
contract C {}
==== Source: b ====
import "a"; contract D is C {}