added syntax checkings for AD: (i) check for start state, (ii) check for...

added syntax checkings for AD: (i) check for start state, (ii) check for disconnected sub-graphs, (iii) check for diagrams in between a pair fork-join (basic version).