support "split" replacements that lack the LHS or RHS

Makes sense. Also Raimondas got integer synthesis working yesterday so now I'm in more of a hurry to get this in.