[NotNull Values]
15 	<bold>val y</bold> = b.foo (in test(A, B,…))
15 		<bold>val y</bold> = b.foo (in test(A, B,…))
