semantic: Error on void returns in non-void functions.