Checks for cycles, non-det, undefined, and unreachable.