「a_procが末尾再帰になってない」ということでしょうか。
それとも「a_procのスコープは単一ではない」ということでしょうか。