example. LP显式初始化依赖的结果为4[lp-initialization-result]

(instance-binding (instantiate-program initialization-plan) 'answer)

⇒ 4 · checked