Function assert_ 

fn assert_<Z: ZkappApplication>(b: Z::Bool, s: &str) -> Result<(), String>