Add Inf.infer_top
Add interactive inference