Adjust namings.
Dealing with first argument which is not instrumented.
Replace nested conditional with guard clauses.