disch : ((term * term list) -> term list)
disch (Term`\x:bool.T`, [Term`A = T`,Term`B = 3`,Term`\y:bool.T`]); [`A = T`,`B = 3`] : term list