Builtin.hascasl revision 9efe0ca32bd86630c33e73d5c7bd3f1c0642ebff
type dummy
pred p : dummy
var x : dummy
. p x
. not (p x)
. p x = p x when def (p x) \/ false else p x