translation of compiler builds again now that it knows about BUTLASTN, however one unprovable side condition has emerged from new GENLIST in compile_fake_exp