 combin algol statement analysi valid check 