use_module(library(freeze)), freeze(X,false), X \=a.
halt.