rule-not-total.keiro

language keiro-dsl 4
context repro

enum Color { Red=red Green=green }

rule isHot : Color -> Bool
  ex Red => now ; Blue => ghost