Deleted some useless lazy patterns.