When compiling `call/1` goals, only keep the `call/1` wrapper if necessary to ensure cut semantics