Fix and test output of validate_assertion