Fixed pre/post of Object.*() in LSP checking

- Precondition of Object.*() changed to false (the strongest possible
precondition) in substitution checking
- Likewise, postcondition of Object.*() changed to true (weakest
possible postcondition)
- Simplified substitution checking (checking for annotations handled by
ContractStore)