eclipse-inference