Thu, 31 Mar 2011 21:06:36 +0100 Mario de Sousa Do not crash when checking semantics of undeclared symbolic_variable.