Now passes example 4 (function of 2 parameters with sub-calls)