fixing proof explanation in the case of --plugin <n3p_resource>