v8.3: Fixing #3390 (mismatch simple_tactic/tactic0 leading to segfault).