Finished sanity check on VarInstSplit.java