13 return <bold>4</bold>;
8 	<bold>val x</bold> = a.foo() (in test(A, B,…))
8 		val x = <bold>a.foo()</bold> (in test(A, B,…))
13 			return <bold>4</bold>;

3 return <bold>2</bold>;
8 	<bold>val x</bold> = a.foo() (in test(A, B,…))
8 		val x = <bold>a.foo()</bold> (in test(A, B,…))
3 			return <bold>2</bold>;

4 fun foo() = <bold>1</bold> (in A.foo())
8 	<bold>val x</bold> = a.foo() (in test(A, B,…))
8 		val x = <bold>a.foo()</bold> (in test(A, B,…))
4 			<bold>fun foo()</bold> = 1 (in A)
4 				fun foo() = <bold>1</bold> (in A.foo())

