coerse booleans into clojure-booleans
move invariant function creation to trace-fn
set power=0 on pause
set power=0 on openDoor
remove time from invariant