fixed match-rule-against-goal
  which returned t even when no matching assert form was found
fixed typo