Zustre generates a malformed SMT2 problem if input program does not contain arrow operators

[daniel-larraz]

A simple example to reproduce the issue:

node top(x: bool) returns (y: bool) ;
let
  y = x;
tel