WyC: added variable declaration statement to AST.