fixed crash on registering against SMT (added missing import of a constant)