Towards a practical theory of reformulation for reasoning about physical systems