add local var block assertions