Fix LTL ouput for empty group definitions