Imrove Lint to check unfoldings