Change method for computing implication basis to *get_aibasis()*