Re: Translate syntax to some of natural language?

[Lachu]

I don't think about something similar to symbolic execution. We don't check any 
possibly value, etc. We only show diagram to user (with descriptions).