Tabling Optimization for Contextual Abduction