Merge remote-tracking branch 'origin/master'
Revert "Added ABP simulation."

This reverts commit a9d8fc0dc591b5920ca11b92f7e0087ad5e03a35.
Added higher-order version of the ABP.
Merge branch 'master' into abp-trivial-bisimulation