diff --git a/AutFN.jl b/AutFN.jl
index de1878e..410fdea 100644
--- a/AutFN.jl
+++ b/AutFN.jl
@@ -150,6 +150,8 @@ function ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord})
     return Δ, sdp_constraints
 end
 
+ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord}, r::Int) = ΔandSDPconstraints(identity, S)
+
 const symbols =  [FGSymbol("x₁",1), FGSymbol("x₂",1), FGSymbol("x₃",1), FGSymbol("x₄",1), FGSymbol("x₅",1), FGSymbol("x₆",1)]
 
 const TOL=1e-8
@@ -225,7 +227,7 @@ function main()
         end
         Blas.set_num_threads(parsed_args["cpus"])
     end
-    @time PropertyT.check_property_T(name, S, solver, upper_bound, tol)
+    @time PropertyT.check_property_T(name, S, solver, upper_bound, tol, 2)
     return 0
 end