Add execution utilities
Test some very basic properties