updated result printout for better readability
fixed wrong coverage calculation for and conditions
changed ": " to "= "
updated testcase for new result format
Merge pull request #224 from Jens-Hildebrandt/master

Fixed ColumnConditionAnd coverage bug