Added reification rules for skip, if, sequencing, read, write, and
assign. Substitution is not working at the moment (assign and read are
affected).