Show "Retract" and "Reassert" only when reasoning is enabled

Adopt some code from GF branch.