update the vlabs/no_vlabs/all_vlabs proofs in intLangExtra