It's possible for that to happen but probably means either the function is too trivial or you're missing some abstraction in the spec