Fix a PHI-handling bug in the interpreter
Handle statically-resolving functions with defaults