Empty procedure main body causes exception

Handle the case of empty main body by raising a warning (or allow empty main and include this case?)