Added the proof general mode for abella