proxy-iscDifferentialAlgebra successfully working