check

Performs all static checks on this program.

Throws

if there are errors in the program.