remove subeq-tp

this was only needed for models without reflexivity