add method to context to compute aibasis, add class to implication to represent unit impication