Program Specific Preconditions for CASC