Corrections to type check of static operation guards
Corrections to type check of static operation guards