Check that invocation align with one of the functions type signatures
if true then a previous occurrence of that variable is overridden.
if false then a previous occurrence of that variable leads to an error