primero
ese codigo no corre, no están definidas las variables a, b, m ni s en el scope general, así como tampoco x... así que apenas el cursor llegue a linea 1 fallará, igual que en la 7 y en la 14

segundo
si la funcion x en linea 1 retorna algo difente de 0 simplemente se hará una sobrecarga a la función x y listo, igual para el if de la linea 7

tienes que recordar que el programa corre con un "cursor" secuencial, así que lo primero que verá será la linea 1 y verá

if(x(a,b,m)){

así que intentará resolver

x(a,b,m)

con lo que sabe, en este punto conoce algunos objetos (document, window, entre otros) pero ninguno x, a, b, m

esto no es un callback, un callback es cuando se pasa una función como parametro a otra, esperando que la otra la llame cuando la necesite


ejemplo

function suma_de_cuadrados(funcion_callback){
    var cuadrado_a, cuadrado_b;
    cuadrado_a = funcion_callback(4);
    cuadrado_b = funcion_callback(9);
    return cuadrado_a+cuadrado_b
}
function otro(parametro){
   return parametro*parametro
}
console.log(suma_de_cuadrados(otro));
 

esto el interprete lo convertirá en

function suma_de_cuadrados(){
    var cuadrado_a, cuadrado_b;
    cuadrado_a = otro(4);
    cuadrado_b = otro(9);
    return cuadrado_a+cuadrado_b
}
function otro(parametro){
   return parametro*parametro
}
console.log(suma_de_cuadrados());
 

observa que "otro" se pasa sin los parentesis cuando se pasa como callback, ya que se está pasando como variable, si pusieras

console.log(suma_de_cuadrados(otro()));

el interprete intentaría ejecutar primero que nada otro para obtener su respuesta y ese valor pasarlo a suma_de_cuadrados

esto es parte de la respuesta a tu pregunta si las variables pueden almacenar funciones

---

lo que dices no tiene pie ni cabeza, lo que quieres es que la función antes de evaluar, evalue que debe evaluar para ejecutarlo y luego evaluarlo por primera vez

El código del principio functiona cambiando function a() {} por var a = function() { } porque el hecho de poner var implica crear variables globales.

Salu2!