Towards automated reformulation of specifications