`assert_program_installed`?