VKI-2: Angular test simplified