Function validate_runtime_notify_call 

fn validate_runtime_notify_call(
    args: &[Expression],
    ctx: &mut LoweringContext<'_>,
)