Element 'compilation-based symbolic execution'