Type inference for simple cases (Phi missing)