fix for testing inference of '@Contract(pure=true)' annotations