Add Assumption#assumed_value

This change introduces a method of the Assumption class that returns
the actively assumed value.