add two preliminary targets for E-ACSL