Sort checking
Started analysis of productions