more tests for subsumes