ToPastTense prints FaultSpecifications