new inference: reject partial computation
AIOOBE
delete old inference strategy for java 8