Removing tactic compatibility layer from Eqdecide.