f2cap: fix admit in preservation, use effect strengthening lemma