impldep.pro
Revert "impldep.pro"

This reverts commit 983a4a1087315bdd40d475ec2ec3e1e5c6bc530e.
Revert "Revert "impldep.pro""

This reverts commit 2186e56ec0d245c5006517246fb67d2dce61ff4b.
Evaluator: accumulate instructions.