Adds some more tests and groups all function call inheritance related together into single sub-directory.

test/libsolidity/semanticTests/functionCall/inheritance/base_base_overload.sol

@@ -0,0 +1,52 @@
+contract BaseBase {
+	uint public x;
+	uint public y;
+	function init(uint a, uint b) public virtual {
+		x = b;
+		y = a;
+	}
+	function init(uint a) public virtual {
+		x = a + 1;
+	}
+}
+
+contract Base is BaseBase {
+	function init(uint a, uint b) public override {
+		x = a;
+		y = b;
+	}
+	function init(uint a) public override {
+		x = a;
+	}
+}
+
+contract Child is Base {
+	function cInit(uint c) public {
+		Base.init(c);
+	}
+	function cInit(uint c, uint d) public {
+		Base.init(c, d);
+	}
+	function bInit(uint c) public {
+		BaseBase.init(c);
+	}
+	function bInit(uint c, uint d) public {
+		BaseBase.init(c, d);
+	}
+}
+// ====
+// compileViaYul: also
+// ----
+// x() -> 0
+// y() -> 0
+// cInit(uint256): 2 ->
+// x() -> 2
+// y() -> 0
+// cInit(uint256,uint256): 3, 3 ->
+// x() -> 3
+// y() -> 3
+// bInit(uint256): 4 ->
+// x() -> 5
+// bInit(uint256,uint256): 9, 10 ->
+// x() -> 10
+// y() -> 9

test/libsolidity/semanticTests/functionCall/inheritance/base_overload.sol

@@ -0,0 +1,31 @@
+contract Base {
+	uint public x;
+	uint public y;
+	function init(uint a, uint b) public {
+		x = a;
+		y = b;
+	}
+	function init(uint a) public {
+		x = a;
+	}
+}
+
+contract Child is Base {
+	function cInit(uint c) public {
+		Base.init(c);
+	}
+	function cInit(uint c, uint d) public {
+		Base.init(c, d);
+	}
+}
+// ====
+// compileViaYul: also
+// ----
+// x() -> 0
+// y() -> 0
+// cInit(uint256): 2 ->
+// x() -> 2
+// y() -> 0
+// cInit(uint256,uint256): 3, 3 ->
+// x() -> 3
+// y() -> 3

test/libsolidity/semanticTests/functionCall/inheritance/call_base.sol

@@ -0,0 +1,13 @@
+contract Base {
+	function f(uint n) public returns (uint) {
+		return 2 * n;
+	}
+}
+
+contract Child is Base {
+	function g(uint n) public returns (uint) {
+		return f(n);
+	}
+}
+// ----
+// g(uint256): 4 -> 8

test/libsolidity/semanticTests/functionCall/inheritance/call_base_base.sol

@@ -0,0 +1,27 @@
+contract BaseBase {
+	function f(uint n) public virtual returns (uint) {
+		return 2 * n;
+	}
+	function s(uint n) public returns (uint) {
+		return 4 * n;
+	}
+}
+
+contract Base is BaseBase {
+	function f(uint n) public virtual override returns (uint) {
+		return 3 * n;
+	}
+}
+
+contract Child is Base {
+	function g(uint n) public returns (uint) {
+		return f(n);
+	}
+
+	function h(uint n) public returns (uint) {
+		return s(n);
+	}
+}
+// ----
+// g(uint256): 4 -> 12
+// h(uint256): 4 -> 16

test/libsolidity/semanticTests/functionCall/inheritance/call_base_base_explicit.sol

@@ -0,0 +1,30 @@
+contract BaseBase {
+	function f(uint n) public virtual returns (uint) {
+		return 2 * n;
+	}
+
+	function s(uint n) public returns (uint) {
+		return 4 * n;
+	}
+}
+
+contract Base is BaseBase {
+	function f(uint n) public virtual override returns (uint) {
+		return 3 * n;
+	}
+}
+
+contract Child is Base {
+	function g(uint n) public returns (uint) {
+		// calling base-bse function of a virtual overridden function.
+		return BaseBase.f(n);
+	}
+
+	function k(uint n) public returns (uint) {
+		// Calling base-base function of a non-virtual function.
+		return BaseBase.s(n);
+	}
+}
+// ----
+// g(uint256): 4 -> 8
+// k(uint256): 4 -> 16

test/libsolidity/semanticTests/functionCall/inheritance/call_base_explicit.sol

@@ -0,0 +1,14 @@
+contract Base {
+	function f(uint n) public returns (uint) {
+		return 2 * n;
+	}
+}
+
+contract Child is Base {
+	function g(uint n) public returns (uint) {
+		return Base.f(n);
+	}
+}
+// ----
+// g(uint256): 4 -> 8
+

test/libsolidity/semanticTests/functionCall/inheritance/call_unimplemented_base.sol

@@ -0,0 +1,16 @@
+abstract contract I
+{
+    function a() internal view virtual returns(uint256);
+}
+abstract contract V is I
+{
+    function b() public view returns(uint256) { return a(); }
+}
+contract C is V
+{
+    function a() internal view override returns (uint256) { return 42;}
+}
+// ====
+// compileViaYul: also
+// ----
+// b() -> 42