Finish two basic IF test cases

Code doesn't check for errors or before casting, but that's OK because
I'm going to move all of this code to the visitor pattern next.