Module Deadlock

Deadlock analysis.

module Spec : sig ... end