halting problem of flowchart schema