Returns true if the vector 'a' contains at least one element greater than zero, otherwise false
function GreaterZero input Real[:] a; output Boolean out; end GreaterZero;