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