Function is_void_input 

pub fn is_void_input(proc: &Procedure) -> bool

Returns true if the procedure takes no input (void).