equivalence problem of flowchart schema