Two tests for IF-AST.
Define method on INTERPRET-AST specialized to IF-AST.