Readds SimulationPredicate (deleted after the merge with the master 
branch).