rewrap Executable spec and uncondition one example