Fixed an issue with parsing Contract.Requires that doesn't use an arguments.
Fixed an issue with PredicateCheckFactory.
Implemented fix for inconsistent availability.
Implemented check for ContractPublicPropertyName attribute and fix.

Related Work Items: #28