Use shift instead pushout when transpose NACs

Author: andreicosta

src/library/Category/TypedGraphRule/Adhesive.hs

@@ -92,7 +92,7 @@ instance MAdhesive (RuleMorphism a b) where
       f' = RuleMorphism ruleR ruleP f'L f'K f'R
       g' = RuleMorphism ruleD ruleP g'L g'K g'R
 
-      transposedNACs = map (\nac -> fst (calculatePushout nac g'L)) (nacs ruleD)
+      transposedNACs = createStep ShiftNACs g'L (nacs ruleD)
 
       createdNACs = createStep ShiftNACs f'L (nacs ruleR)
 
@@ -223,4 +223,4 @@ createSideRule createS k1 sideM1 create1 k2 sideM2 create2 = d
     c = map (\(x:y:z:_) -> (x,y,z)) b
     d = filter (\(ss1,ss2,m) -> ss1 <&> sideM1 == m <&> k1 &&
                                 ss2 <&> sideM2 == m <&> k2) c
-  
+