checks for missing return are done in ast2firm yet