Add example for import issue

module ImportAttributes {

	import from A all;

	import from B all;

	import from C all;

	control {

		execute(A.tc());

		execute(B.tc());

		execute(C.tc());

	}

}

module A {

	type integer int;

	testcase tc() {

		setverdict(pass)

		if (int.encode != "") {

			setverdict(fail)

		}

	}

}

module B {

	import from A all with { encode "B" }

	testcase tc() {

		setverdict(pass)

		if (int.encode != "B") {

			setverdict(fail)

		}

	}

}

module C {

	import from C all with { encode "C" }

	testcase tc() {

		setverdict(pass)

		if (int.encode != "C") {

			setverdict(fail)

		}

	}

}