
blame_contract_range.erl:14: The contract blame_contract_range:bar
          (atom()) -> 'a' cannot be right because the inferred return for bar
         ('b') on line 12 is 
          'b'
blame_contract_range.erl:15: The pattern 
          'a' can never match the type 
          'b'
