Stubs for some functions.
Added function subsumption-compatible?.