Precondition Enforcement Analysis For Quality Assurance