SSReflect Proof General extension.