Source code reformulation