Implementation of stream typing rules required few modifications on the code
build_return_var no longer defaults the return type variable to "float", instead it looks at the return type for the function object and uses the same base type. For void return type the sort "NULL" was added instead of return a float 42. This will likely break all the previous implementations.
For Evoid it now returns an uninterpreted sort "NULL" instead of float 42
Implementation of stream typing rules required few modifications on the code
build_return_var no longer defaults the return type variable to "float", instead it looks at the return type for the function object and uses the same base type. For void return type the sort "NULL" was added instead of return a float 42. This will likely break all the previous implementations.
For Evoid it now returns an uninterpreted sort "NULL" instead of float 42