updated result printout for better readability
fixed wrong coverage calculation for and conditions
changed ": " to "= "