added generation for checkpointreached that checks with DS and AS based on LS