Support for sequential functions and subexecutions