Element 'symbolic execution'