Software for transforming a subset of RIF into SPIN