Ensure closed-world semantics for predicates declared coinductive or synchronized but not defined