Towards a Logic for Reasoning About Logic Programs Transformation