Use =:= in place of (catch x = y).