sig val check_lockfree : Symbsimp.global_env -> (Misc.component * Commands.res_init) list -> (string * Commands.can_entailment) list -> bool end