In this case:

module main (foo)

import root-py

foo x y = mul 2.0 (add x y)
foo x y = mul 3.0 (add x y)

There are two implementations with equal scores. Both have the same number of expressions and use the same functions. This should raise an error. Instead, just the first expression is selected.