spec' g f a evaluates a function f using a cheap guess g at the argument in parallel with forcing the argument.

This is one way to induce parallelism in an otherwise sequential task.
Unlike spec this version
does not check to see if the argument has already been evaluated before evaluating the speculated
version. This is useful when you know evaluated will always return False.