Implement guessing of implicit argument number