infer_top translated, comes with side condition