Added analyzer for redundant precondition for nullable arguments.

Related Work Items: #25
Minor fix for partially defined default value.
Basic implementation for the the inaccessible precondition checker.

Related Work Items: #27