refactoring Conversion.ag: Alg W part to AlgW.ag