Removing stup reconciler method in verifier