Programming.
Parsing file /var/folders/sx/tb9t1_890xd0hs9y0xb1k5fr0000gn/T/Naturals.tla Semantic processing of module Naturals Semantic processing of module Integers Semantic processing of module myspec Starting... (2019-01-17 23:06:59) Implied-temporal checking--satisfiability problem has 1 branches. Computing