add a spec fragment for a class pre_condition