tests for lvar instantiation; carry over pure parts of antiframe in frame

infer_tests/test18 doesn't terminate -- will fix next