Rewriting dynamic weight lambda
Rewritting Evaluation methods