Adapt the SimSpark simulator for SPL rules