Resolve at compile time unnecessary uses of the `call/2-N` control construct when the closure argument is already instantiated