Pretty printing for Lustre from Dan DaCosta