Infer Pattern.As
Add inconsistent_*