alldiff refactoring
default Propagator.toString()
Merge branch 'develop' into feat-ad
Merge branch 'feat-ad' into develop