inferAll -> analysis