def bob::bob() { }
def bob::fred(e) : e < 10 { asual(true, e >= 10) }

var b = bob()
b.!fred(3)
b.fred(12)
