Элемент 'reverse symbolic execution'