other variable engine

gc issues
minor
Marginal modifications on FastVariableEngine + add it to ParseAndSolve
Merge branch 'develop' into feature-pe4
Merge branch 'develop' into feature-pe4
add a new propagation engine into extra
Merge branch 'feature-pe4' into develop