Partial Implementations — The Incomplete Contract Fulfillment - Detecting And Fixing Lsp Violations | OneNoughtOne