assert and bdd interfaces
rename LeoInterface to BddInterface and extend AssertInterface