Function compile_time_trigger_pattern 

pub fn compile_time_trigger_pattern(clause: &Clause) -> String

CORE.5: Trigger pattern validation.

Emits a compile-time assertion that the trigger pattern expression is non-empty. Empty triggers cause Z3 to enumerate all terms, which is almost always a performance bug.