raise an error on invalid parameter type properly
check that main function exists
add analyzer tests for 90dab51 and 38405ca