Make the entrypoint identification script more robust.
Include event sequence triggering in the concolic real sites test suite.
Remove slow-performing option to CVC4 and add a timeout.