Summary: Check.checkMethod should only be called after inference has completed
Reviewed-by: jjg, vromero