FriCAS w. ABCL