Added WebAnalysis interface to Symex
Cleaned up code