BugFix: in method matches(), 'i > 0' should be 'i >= 0'.
Delete unused method: isBlocked().
Add clear(), it should be called when a new analyzing begins.