Initial commit of software to convert a subset of RIF into SPIN