Add check in the same procedure for two statements.

Add assign pattern checking
Add next pattern