remove invalid assertions