Picat: some small changes