Add a check pass for non-def top level forms