Function compose_subst 

pub fn compose_subst(a: Subst, b: Subst) -> Subst

Compose substitutions a after b.

If t.apply(&b) is “apply b first”, then: t.apply(&compose_subst(a, b)) == t.apply(&b).apply(&a).