Added macro for verify after.