New SN proof for System F (incomplete)