add missing ACSL comments