Some additional material on Picat Language Maintaned by CCS