Fix 1: Abstract static exceptions
Fix 2: less willcard patterns in flambdacheck