in symTransSubFrames and reflSymTransSubFrames make sure the relation sets still contain a transitive relation after filtering
in symTransSubFrames and reflSymTransSubFrames make sure the relation sets still
contain a transitive relation after filtering

dawedawe/kripkeweb