pub fn instance_subsumes(general: &Instance, specific: &Instance) -> bool
Check whether an instance subsumes another (has a more general pattern).
For now this is a simple syntactic check.