Eg caveat: Caveat check_condition(arg1 string, arg2 string) { arg1== foo && arg2==bar}