A new version that includes context analysis  1) graphic interface is changed
2) additional methods are added to support context checking
3) the application shows the results of context check, and further ask for manual check over undecidable contexts