Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming
resolveUniqueBuiltin makes a builtin function from a variable name. However, this doesn't anything for ambiguous builtin functions. For example, the builtin function "max" is kept as a variable because it may be $$\mathbf{list}(\alpha) \to \alpha$$, $$\alpha \times \alpha \to \alpha$$, etc. and this function cannot resolve it.