fix PropSat

due to constructor modification
-> remove the fake variable right after super constructor
Merge branch 'feature-hotfix' into develop