refectoring: removing temp variables
refactoring ProbabilitySpec's log representatation
refactoring ProbabilitySpec's normal representation