Element 'reverse symbolic execution'