Added typestate analysis.