replace ACSL lemma BitsAndMore by admit
remove lemma BitsAndEquality and use admit instead
remove admits for acsl lemmas