nothing to execute
insert the specification statistics for a given specification
create an execution with a Continuation
create an execution which will not execute but directly return a value
get the execution statistics of a specification as a Decorated result
create an execution returning a specific result
create an execution using the Env
create an execution using the executor service